Foundation of Mathematics between Theory and Practice

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

the study of practical and theoretical foundation of credit risk and its coverage

پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...

15 صفحه اول

Constructive Mathematics in Theory and Programming Practice

The first part of the paper introduces the varieties of modem con-structive mathematics, concentrating on Bishop's constructive mathematics(BISH). It gives a sketch of both Myhill's axiomatic system for BISH and aconstructive axiomatic development of the real line R. The second part of the pa-per focusses on the relation between constructive mathematics and programming,with ...

متن کامل

Non-monotonic set theory as a pragmatic foundation of mathematics∗

In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances ...

متن کامل

Schwab's Practical Theory: Integrate of Theory and Practice

The emergence of re-conceptualism in the field of curriculum studies caused a large rotation of identity in this field. The book titled "understanding of curriculum" by William Pinar may be considered the most outstanding work in the field. In this book, movement which affected pre re-conceptualist, are introduced as the traditional type and it is believed the new curriculum discourses should b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Philosophia Scientae

سال: 2014

ISSN: 1281-2463,1775-4283

DOI: 10.4000/philosophiascientiae.912